
target remote :1234
symbol-file kernel.bin 
hbreak *0x7c00
hbreak *0x80000
c